Back Model (logika) Czech Modell (Logik) German Model (mathematical logic) English Modèle (logique mathématique) French Modelo (lógica) Portuguese Model (matematik mantiq) Uzbek
&sq=albert einstein&lang=it&file=File:Question_book-4.svg){kind=small}
Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti.
Un modello di una teoria formale, in logica matematica, è una struttura in cui vengono interpretati gli enunciati della teoria. Sebbene la seguente definizione faccia riferimento alla teoria dei modelli, gli esempi e le definizioni successive fanno riferimento a teoria e logica del primo ordine.